type R = { A: int; B: int }

let r () : R = 
    {caret}{}
    ()
